AMPL[2]
Algebraic Modeling Programming Language
Bell Labs?
?